منابع مشابه
Models of Complete Theories
The semantical concepts, such as satisfaction, truth, and model, form the subject matter of a field known as the theory of models. I am going to discuss today several related recent developments in this field. They all lie in one particular area which is indicated by the title and which will be described more fully in a moment. However, some introductory and side remarks I shall make may also s...
متن کاملA Complete Characterization of the Complete Intersection-Type Theories
We characterize those intersection-type theories which yield complete intersection-type assignment systems for λ-calculi, with respect to the three canonical set-theoretical semantics for intersectiontypes: the inference semantics, the simple semantics and the F-semantics. These semantics arise by taking as interpretation of types subsets of applicative structures, as interpretation of the inte...
متن کاملA Complete Characterization of Complete Intersection-Type Theories
We characterize those intersection-type theories which yield complete intersection-type assignment systems for λ-calculi, with respect to the three canonical set-theoretical semantics for intersection-types: the inference semantics, the simple semantics and the F-semantics.
متن کاملCoding complete theories in Galois groups
James Ax showed that, in each characteristic, there is a natural bijection from the space of complete theories of pseudo-finite fields, in first order logic, to the set of conjugacy classes of procyclic subgroups of the absolute Galois group of the prime field. I show that when the set of subgroups of a profinite group is considered to have the Vietoris (a.k.a. hyperspace, finite, exponential, ...
متن کاملGeneralized Indiscernibles as Model-complete Theories
We define a mild generalization of classical Fraïssé classes, and in this context, we recover several old (often with novel proofs) and new facts about Ramsey classes and generalized indiscernibles in the sense of [12], [17], and other sources. Of particular novelty are: (1) a new and clearly model-theoretic proof of the equivalence of the Ramsey property and the extreme amenability of the auto...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Physics
سال: 2017
ISSN: 0003-4916
DOI: 10.1016/j.aop.2016.11.013